例句與造句

1. For this reason no programming language implements function equality as extensional equality.
2. Referential equality implies intensional and extensional equality.
3. Deciding on extensional equality is undecidable in general and even for functions with finite domains often intractable.
4. In other words, the following extensional equality of functions holds for every " x ":
5. Intensional equality implies extensional equality ( under the assumption that the functions do not depend on the value of the program counter .)
6. It's difficult to find extensional equality in a sentence. 用extensional equality造句挺難的
7. Often in mathematics, when one defines an equivalence relation on a set, one immediately forms the quotient set ( turning equivalence into extensional equality ( the equivalence relation, or the equality on the quotient set ).
8. Other mathematical objects are also constructed in such a way that the intuitive notion of " equality " agrees with set-level extensional equality; thus, equal ordered pairs have equal elements, and elements of a set which are related by an equivalence relation belong to the same equivalence class.